end 22.7.
nice end 1.7.

18.5. 
25.5. 
1.6. 
8.6. 
15.6. functional library
    [] constrains for evaluation RRWW RWW .. 
    [] check input symbols and symbols in instructions
    [] 8+ more  
    [] test for constrains
    [] add rewrite to [] -> ["$"]
    [x] advanced function / monotonie
    [x] test for advanced function
    [x] output with states and instructions
22.6. analysis + design
    [] extending
    [] technical choices
    [] functions
    [] design
    [] non-trivial function
29.6. functional web + completed library
    [] log-in
    [] upload
    [] references
    [] storage
6. user documentation + stress test
    some big automaton to stress test
13. final version
20
22.7.


monotonie do hlavniho souboru
typy
testy
celej web
stress test
user guide